LDL: A Logic-Based Data Language
نویسندگان
چکیده
In this paper we describe the considerations that led us to the design of LDL and nrovide an overview of the features of-this language. L$L is designed to combine the flexibility of logic programming with the high performance of the relational database technology. The design offers an improved mode of control over the existing logic programming languages together with an enriched repertoire of data objects and constructs, including: sets, updates and negation. These advantages are realized by means of a compilation technology.
منابع مشابه
Control and Optimization Strategies in the Implementation of LDL
The Logic Data Language, LDL, combines the expressive power of a highlevel, logic-based language (such as Prolog) with the nonnavigational style of relational query languages, where the user need only supply a correct query, and the system (i.e., the compiler/optimizer) is expected to devise an efficient execution strategy for it. Consequently, the optimizer is given the responsibility of choos...
متن کاملThe LDL System Prototype
The LDL system provides a declarative logic-based language and integrates relational database and logic programming technologies so as to support advanced data and knowledge-based applications. This paper contains a comprehensive overview of the system and contains a description of the LDL language and the compilation techniques employed to translate LDL queries into target queries on the store...
متن کاملAn Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملThe Logic Programming Paradigm: a 25-year Perspective Logic-based User-deened Aggregates for the next Generation of Database Systems
In this paper, we provide logic-based foundations for the extended aggregate constructs required by advanced database applications. In particular, we focus on data mining applications and show that they require user-deened aggregates extended with early returns. Thus, we propose a simple formalization of extended user-deened aggregates using the nondeterministic construct of choice. We obtain p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1986